Timed Petri Net Models of Multi–robot Cluster Tools
نویسنده
چکیده
A systematic approach to modeling the stationary behavior of cluster tools by timed Petri nets is presented. The performance of derived models is evaluated by structural methods (place invariants), without the exhaustive genearation of the state space. Multiple robots are introduced to reduce the limitations of “transport bound” tools. Simple examples are provided to illustrate the proposed approach.
منابع مشابه
Timed Petri net models of cluster tools
Timed Petri nets are used as models of cluster tools, representing not only the concurrency activities of different chambers, but also the durations of these activities. Structural analysis, based on net invariants, provides basic performance measures, such as throughput and cycle time. The results are obtained in symbolic form, so many specific variants can easily be compared without repeated ...
متن کاملTimed Petri nets in modeling and analysis of cluster tools
Timed Petri nets are used as models of cluster tools representing the flow of wafers through the chambers of the tool as well as sequences of actions performed by the robotic transporter. Since the durations of all activities are also represented in the model, performance characteristics can be derived from the model for steady-state, as well as transient behaviors. The performance of single-bl...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملLLP Supervisory Control with Timed Petri Net Models in Mobile Robots
This paper is concerned with high level control of robot systems. We abstract the robot system as timed Petri net and give a high level controller which consists of an LLP supervisor. We give its simple application to a mobile robot system.
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کامل